@article{King76,
  author = {James C. King},
  title = {Symbolic Execution and Program Testing},
  journal = {Communications of the ACM},
  volume = {19},
  number = {7},
  pages = {385–394}, 
  year = {1976}
}

@article{Clarke76,
  author    = {Lori A. Clarke},
  title     = {A System to Generate Test Data and Symbolically Execute Programs},
  journal   = {{IEEE} Transactions on Software Engineering},
  volume    = {2},
  number    = {3},
  pages     = {215--222},
  year      = {1976}
}

@book{Dijkstra76,
  author    = {Edsger W. Dijkstra},
  title     = {A Discipline of Programming},
  publisher = {Prentice-Hall},
  year      = {1976}
}

@article{Korel90,
  author    = {Bogdan Korel},
  title     = {Automated Software Test Data Generation},
  journal   = {{IEEE} Transactions on Software Engineering},
  volume    = {16},
  number    = {8},
  pages     = {870--879},
  year      = {1990}
}

@article{Korel92,
  author    = {Bogdan Korel},
  title     = {Dynamic Method of Software Test Data Generation},
  journal   = {Journal of Software Testing, Verification and Reliability},
  volume    = {2},
  number    = {4},
  pages     = {203--213},
  year      = {1992}
}

@inproceedings{Gupta00,
  author    = {Neelam Gupta and
               Aditya P. Mathur and
               Mary Lou Soffa},
  title     = {Generating Test Data for Branch Coverage},
  booktitle = {Proceedings of the Automate Software Engineering Conference},
  pages     = {219--228},
  year      = {2000}
}

@inproceedings{GodefroidKS05,
  author    = {Patrice Godefroid and
               Nils Klarlund and
               Koushik Sen},
  title     = {{DART:} directed automated random testing},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation},
  pages     = {213--223},
  year      = {2005}
}

@inproceedings{SenACAV06,
  author    = {Koushik Sen and
               Gul Agha},
  title     = {{CUTE} and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking
               Tools},
  booktitle = {Proceedings of 18th Computer Aided Verification Conference},
  pages     = {419--423},
  year      = {2006}
}

@inproceedings{CadarE05,
  author    = {Cristian Cadar and
               Dawson R. Engler},
  title     = {Execution Generated Test Cases: How to Make Systems Code Crash Itself},
  booktitle = {Proceedings of 12th International {SPIN} Workshop},
  pages     = {2--23},
  year      = {2005}
}

@inproceedings{CadarGPDE06,
  author    = {Cristian Cadar and
               Vijay Ganesh and
               Peter M. Pawlowski and
               David L. Dill and
               Dawson R. Engler},
  title     = {{EXE:} automatically generating inputs of death},
  booktitle = {Proceedings of the 13th {ACM} Conference on Computer and Communications
               Security},
  pages     = {322--335},
  year      = {2006}
}

@inproceedings{CadarDE08,
  author    = {Cristian Cadar and
               Daniel Dunbar and
               Dawson R. Engler},
  title     = {{KLEE:} Unassisted and Automatic Generation of High-Coverage Tests
               for Complex Systems Programs},
  booktitle = {Proceedings of the 8th {USENIX} Symposium on Operating Systems Design and Implementation},
  pages     = {209--224},
  year      = {2008}
}

@inproceedings{deMouraB08,
  author    = {Leonardo Mendon{\c{c}}a de Moura and
               Nikolaj Bj{\o}rner},
  title     = {{Z3:} An Efficient {SMT} Solver},
  booktitle = {Proceedings of the 14th International Conference of Tools and Algorithms for the Construction and Analysis of Systems},
  pages     = {337--340},
  year      = {2008}
}

@inproceedings{Godefroid11,
  author    = {Patrice Godefroid},
  title     = {Higher-order test generation},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation},
  pages     = {258--269},
  year      = {2011}
}

@article{GodefroidLM12,
  author    = {Patrice Godefroid and
               Michael Y. Levin and
               David A. Molnar},
  title     = {{SAGE:} whitebox fuzzing for security testing},
  journal   = {Communications of the {ACM}},
  volume    = {55},
  number    = {3},
  pages     = {40--44},
  year      = {2012}
}

@article{CadarS13,
  author    = {Cristian Cadar and
               Koushik Sen},
  title     = {Symbolic execution for software testing: three decades later},
  journal   = {Communications of the {ACM}},
  volume    = {56},
  number    = {2},
  pages     = {82--90},
  year      = {2013}
}
